The dual Heyting arrow lattice for biologic relational processes
نویسندگان
چکیده
منابع مشابه
On Heyting algebras and dual BCK-algebras
A Heyting algebra is a distributive lattice with implication and a dual $BCK$-algebra is an algebraic system having as models logical systems equipped with implication. The aim of this paper is to investigate the relation of Heyting algebras between dual $BCK$-algebras. We define notions of $i$-invariant and $m$-invariant on dual $BCK$-semilattices and prove that a Heyting semilattice is equiva...
متن کاملLattice of Substitutions is a Heyting Algebra
(6) For every finite element a of V→̇C holds {a} ∈ SubstitutionSet(V,C). (7) If A a B = A, then for every set a such that a ∈ A there exists a set b such that b ∈ B and b⊆ a. (8) If μ(A a B) = A, then for every set a such that a ∈ A there exists a set b such that b ∈ B and b⊆ a. (9) If for every set a such that a ∈ A there exists a set b such that b ∈ B and b ⊆ a, then μ(A a B) = A. Let V be a s...
متن کاملDualities and Dual Pairs in Heyting Algebras
We extract the abstract core of finite homomorphism dualities using the techniques of Heyting algebras and (combinatorial) categories.
متن کاملon heyting algebras and dual bck-algebras
a heyting algebra is a distributive lattice with implication and a dual $bck$-algebra is an algebraic system having as models logical systems equipped with implication. the aim of this paper is to investigate the relation of heyting algebras between dual $bck$-algebras. we define notions of $i$-invariant and $m$-invariant on dual $bck$-semilattices and prove that a heyting semilattice is equiva...
متن کاملAbsolute becoming, relational becoming and the arrow of time
The first and main claim of this paper is that physics cannot provide, empirical evidence for the objectivity (mind-independence) of absolute becoming, for the simple reason that it must presuppose it, at least to the extent that a classical (i.e., non-quantum) spacetime theory presupposes a priori an ontology of events. However, the fact that a theory of absolute becoming must be situated in t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Mathematical and Computer Modelling
سال: 1993
ISSN: 0895-7177
DOI: 10.1016/0895-7177(93)90035-w